#!/bin/bash
git clone https://github.com/riscv-software-src/opensbi
cd opensbi
git reset --hard c6a092cd80112529cb2e92e180767ff5341b22a3
cd ..
